From: Cosimo Cecchi <cosimo@endlessm.com>
Date: Sat, 18 Jun 2016 00:14:02 +0000 (-0700)
Subject: windowManager: use Meta.MonitorManager.get_display_configuration_timeout()
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~189
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=c1e478eb53611b9d67f3e46094c591de803cc60f;p=gnome-shell.git

windowManager: use Meta.MonitorManager.get_display_configuration_timeout()

Instead of hardcoding a 20 seconds limit.

https://bugzilla.gnome.org/show_bug.cgi?id=767805
---

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 272dbec89..eac388994 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -33,7 +33,6 @@ var DIM_BRIGHTNESS = -0.3;
 var DIM_TIME = 0.500;
 var UNDIM_TIME = 0.250;
 
-var DISPLAY_REVERT_TIMEOUT = 20; // in seconds - keep in sync with mutter
 var ONE_SECOND = 1000; // in ms
 
 const GSD_WACOM_BUS_NAME = 'org.gnome.SettingsDaemon.Wacom';
@@ -64,7 +63,7 @@ var DisplayChangeDialog = new Lang.Class({
 
         this._wm = wm;
 
-        this._countDown = DISPLAY_REVERT_TIMEOUT;
+        this._countDown = Meta.MonitorManager.get_display_configuration_timeout();
 
         let iconName = 'preferences-desktop-display-symbolic';
         let icon = new Gio.ThemedIcon({ name: iconName });